Log2x differentiation